tautology in discrete mathematics examples